{- |

Module      :  Examples.Main
Copyright   :  (c) The University of Kansas 2011
License     :  BSD3

Maintainer  :  nicolas.frisby@gmail.com
Stability   :  experimental
Portability :  see LANGUAGE pragmas (... GHC)

Just bundles up the three examples.

-}
module Main where

import Examples.TermTest
import Examples.TermInner
import Examples.LL
import Examples.PV ()
--import Examples.Zippers ()



main = do
  print $ Examples.TermTest.ex1
  print $ Examples.TermInner.ex1
  print $ lambdaLift Examples.LL.ex1 env0
